// Generated from C:\antlrprojects\logica_proposicional\logprop.g4 by ANTLR 4.1
package dpll.parser;
import org.antlr.v4.runtime.misc.NotNull;
import org.antlr.v4.runtime.tree.ParseTreeVisitor;

/**
 * This interface defines a complete generic visitor for a parse tree produced
 * by {@link logpropParser}.
 *
 * @param <T> The return type of the visit operation. Use {@link Void} for
 * operations with no return type.
 */
public interface logpropVisitor<T> extends ParseTreeVisitor<T> {
	/**
	 * Visit a parse tree produced by {@link logpropParser#booleano}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitBooleano(@NotNull logpropParser.BooleanoContext ctx);

	/**
	 * Visit a parse tree produced by {@link logpropParser#termino_final}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitTermino_final(@NotNull logpropParser.Termino_finalContext ctx);

	/**
	 * Visit a parse tree produced by {@link logpropParser#formulas}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitFormulas(@NotNull logpropParser.FormulasContext ctx);

	/**
	 * Visit a parse tree produced by {@link logpropParser#condicion}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitCondicion(@NotNull logpropParser.CondicionContext ctx);

	/**
	 * Visit a parse tree produced by {@link logpropParser#bicondicion}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitBicondicion(@NotNull logpropParser.BicondicionContext ctx);

	/**
	 * Visit a parse tree produced by {@link logpropParser#parentesis}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitParentesis(@NotNull logpropParser.ParentesisContext ctx);

	/**
	 * Visit a parse tree produced by {@link logpropParser#negacion}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitNegacion(@NotNull logpropParser.NegacionContext ctx);

	/**
	 * Visit a parse tree produced by {@link logpropParser#disyuncion}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitDisyuncion(@NotNull logpropParser.DisyuncionContext ctx);

	/**
	 * Visit a parse tree produced by {@link logpropParser#conjuncion}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitConjuncion(@NotNull logpropParser.ConjuncionContext ctx);

	/**
	 * Visit a parse tree produced by {@link logpropParser#literal}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitLiteral(@NotNull logpropParser.LiteralContext ctx);

	/**
	 * Visit a parse tree produced by {@link logpropParser#formula}.
	 * @param ctx the parse tree
	 * @return the visitor result
	 */
	T visitFormula(@NotNull logpropParser.FormulaContext ctx);
}